Automatic Staged Compilation
نویسندگان
چکیده
Automatic Staged Compilation
منابع مشابه
Integrating Normalization-by-Evaluation into a Staged Programming Language
We have designed MetaML a multi-stage programming language, as a meta-programming system, i.e. a system which is used to write programs (meta-programs) whose sole purpose is to build and manipulate other programs (objectprograms). MetaML programs are simply ML programs which are annotated with staging operators. There is a strong connection between o -line partial evaluation and staged programm...
متن کاملMixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL
This paper explores how to implement an iteratively staged domain-specific language (DSL) by embedding into a functional language. The domain is modelling and simulation of physical systems where models are expressed in terms of non-causal differential-algebraic equations; i.e., sets of constraints solved through numerical simulation. What sets our language apart is that the equational constrai...
متن کاملAutomatic Dynamic Compilation Support for Event Dispatching in Extensible Systems
This paper describes extensions to an automatic dynamic compilation framework to support optimized event dispatching in the SPIN extensible operating system.
متن کاملDynamo: A Staged Compiler Architecture for Dynamic Program Optimization
Optimizing code at run time is appealing because run-time optimizations can make use of values and invariants that cannot be exploited statically. Dynamic optimization can yield code that is superior to statically optimal code. Recent research has shown that dynamic compilation can dramatically improve the performance of a wide range of applications including network packet demultiplexing, spar...
متن کاملStaged Tuning: A Hybrid (Compile/Install-time) Technique for Improving Utilization of Performance-asymmetric Multicores
Emerging trends towards performance-asymmetric multicore processors (AMPs) are posing new challenges, because for effective utilization of AMPs, code sections of a program must be assigned to cores such that the resource needs of the code sections closely match the resources available at the assigned core. Computing this assignment can be difficult especially in the presence of unknown or many ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005